Computer science

Results: 55984



#Item
741

StatVerif: Verification of Stateful Processes Myrto Arapinis Joshua Phillips Eike Ritter Mark D. Ryan {m.d.arapinis, e.ritter, j.phillips, m.d.ryan}@cs.bham.ac.uk School of Computer Science, University of Birmingham, UK

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2013-12-10 12:35:05
    742

    Fringe Search: Beating A* at Pathfinding on Game Maps Yngvi Bj¨ornsson School of Computer Science Reykjavik University Reykjavik, Iceland IS-103

    Add to Reading List

    Source URL: webdocs.cs.ualberta.ca

    Language: English - Date: 2005-08-18 13:52:45
      743

      Probabilistic Noninterference in a Concurrent Language † Dennis Volpano Computer Science Department Naval Postgraduate School Monterey, CA 93943, USA

      Add to Reading List

      Source URL: users.cis.fiu.edu

      Language: English - Date: 2009-09-17 09:05:18
        744

        ITiCSE 2014: The 19th Annual Conference on Innovation and Technology in Computer Science Education ITiCSE 2014 Attendees

        Add to Reading List

        Source URL: iticse2014.it.uu.se

        Language: English - Date: 2014-06-25 11:06:53
          745

          Why Learning Has Aha-Moments and Why We Should Also Reward Effort, Not Just Results Gerardo Uranga1 , Vladik Kreinovich1 , and Olga Kosheleva2 Departments of 1 Computer Science and 2 Teacher Education University of Texa

          Add to Reading List

          Source URL: www.cs.utep.edu

          Language: English - Date: 2018-06-30 20:12:16
            746

            International Journal of Computer Science and Software Engineering (IJCSSE), Volume 6, Issue 7, July 2017 ISSN (Online): www.IJCSSE.org Page: A Modified Simplified Data Encryption Standard Algorithm

            Add to Reading List

            Source URL: ijcsse.org

            Language: English - Date: 2017-08-04 12:06:49
              747

              Application to join COMPUTE research school COMPUTE is a research school at the Science Faculty of Lund University with a focus on scientific discovery using computer simulations. Activities include PhD level courses on

              Add to Reading List

              Source URL: cbbp.thep.lu.se

              - Date: 2018-03-19 19:00:05
                748

                Cell, Molecular, and Developmental Biology Approved List of Depth Courses for the B.S. Lower-division Courses *Chemistry (CHEM): 5 ^Computer Science (CS): 10, 12, 14, 61

                Add to Reading List

                Source URL: cnasstudent.ucr.edu

                Language: English - Date: 2018-04-02 12:42:59
                  749

                  Designing easily learnable eyes-free interaction Kevin A. Li Computer Science and Engineering University of California, San Diego Advisors: William G. Griswold, James D. Hollan

                  Add to Reading List

                  Source URL: www.kevinli.net

                  Language: English - Date: 2008-11-20 20:43:15
                    750

                    Beetle: Flexible Communication for Bluetooth Low Energy Amit Levy, James Hong, Laurynas Riliskis, Philip Levis, Keith Winstein Computer Science Department, Stanford University Stanford, CA, U.S.A. levya,jhong16,lauril,p

                    Add to Reading List

                    Source URL: www.amitlevy.com

                    Language: English - Date: 2016-05-16 14:52:36
                      UPDATE